Nuprl Definition : Msg_sub
11,40
postcript
pdf
Msg_sub(
l
;
M
) == {
m
:Msg(
M
)| haslink(
l
;
m
)}
latex
Definitions
haslink(
l
;
m
)
,
Msg(
M
)
FDL editor aliases
Msg_sub
origin